Sfoglia per Serie LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
Implementation of Choice of Jurisdiction and Law in Private International Law by PROLEG Meta-interpreter
2021-01-01 Satoh, K.; Giordano, L.; Baldoni, M.
Inducing the Lyndon Array
2019-01-01 Louza, F. A.; Mantaci, S.; Manzini, G.; Sciortino, M.; Telles, G. P.
Linguistic aspects of nonlinguistic contexts
2019-01-01 Benzi, Margherita; Penco, Carlo
META-GLARE: A Meta-Engine for Executing Computer Interpretable Guidelines
2015-01-01 Bottrighi, Alessio; Rubrichi, Stefania; Terenziani, Paolo
A Multi-engine Theorem Prover for a Description Logic of Typicality
2015-01-01 Giordano, Laura; Valentina, Gliozzi; Nicola, Olivetti; Gian Luca, Pozzato; Luca, Violanti
Multiple sclerosis disease: A computational approach for investigating its drug interactions
2020-01-01 Pernice, S.; Beccuti, M.; Romano, G.; Pennisi, M.; Maglione, A.; Cutrupi, S.; Pappalardo, F.; Capra, L.; Franceschinis, G.; De Pierro, M.; Balbo, G.; Cordero, F.; Calogero, R.
On the KLM Properties of a Fuzzy DL with Typicality
2021-01-01 Giordano, L.
A Petri Net Formalism to Study Systems at Different Scales Exploiting Agent-Based and Stochastic Simulations
2021-01-01 Beccuti, M.; Castagno, P.; Franceschinis, G.; Pennisi, M.; Pernice, S.
Practical Random Access to SLP-Compressed Texts
2020-01-01 Gagie, T.; I, T.; Manzini, G.; Navarro, G.; Sakamoto, H.; Seelbach Benkner, L.; Takabatake, Y.
Reasoning about exceptions in ontologies: an approximation of the multipreference semantics
2019-01-01 Giordano, Laura; Gliozzi, Valentina
Rpair: Rescaling RePair with Rsync
2019-01-01 Gagie, T.; I, T.; Manzini, G.; Navarro, G.; Sakamoto, H.; Takabatake, Y.
Space-Efficient Merging of Succinct de Bruijn Graphs
2019-01-01 Egidi, L.; Louza, F. A.; Manzini, G.
Supporting Physicians and Patients Through Recommendation: Guidelines and Beyond
2015-01-01 Anselma, Luca; Bottrighi, Alessio; Hommersom, Arjen; Terenziani, Paolo; Hunter, Anthony
Temporal Reasoning with Layered Preferences
2018-01-01 Anselma, Luca; Alessandro, Mazzei; Piovesan, Luca; Terenziani, Paolo
Verifying Business Process Compliance by Reasoning about Actions
2010-01-01 D'Aprile, D.; Giordano, Laura; Gliozzi, V.; Martelli, A.; Pozzato, G. L.; THESEIDER DUPRE', Daniele
Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model
2021-01-01 Giordano, L.; Theseider Dupre', D.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Implementation of Choice of Jurisdiction and Law in Private International Law by PROLEG Meta-interpreter | 1-gen-2021 | Satoh, K.; Giordano, L.; Baldoni, M. | |
Inducing the Lyndon Array | 1-gen-2019 | Louza, F. A.; Mantaci, S.; Manzini, G.; Sciortino, M.; Telles, G. P. | |
Linguistic aspects of nonlinguistic contexts | 1-gen-2019 | Benzi, Margherita; Penco, Carlo | |
META-GLARE: A Meta-Engine for Executing Computer Interpretable Guidelines | 1-gen-2015 | Bottrighi, Alessio; Rubrichi, Stefania; Terenziani, Paolo | |
A Multi-engine Theorem Prover for a Description Logic of Typicality | 1-gen-2015 | Giordano, Laura; Valentina, Gliozzi; Nicola, Olivetti; Gian Luca, Pozzato; Luca, Violanti | |
Multiple sclerosis disease: A computational approach for investigating its drug interactions | 1-gen-2020 | Pernice, S.; Beccuti, M.; Romano, G.; Pennisi, M.; Maglione, A.; Cutrupi, S.; Pappalardo, F.; Capra, L.; Franceschinis, G.; De Pierro, M.; Balbo, G.; Cordero, F.; Calogero, R. | |
On the KLM Properties of a Fuzzy DL with Typicality | 1-gen-2021 | Giordano, L. | |
A Petri Net Formalism to Study Systems at Different Scales Exploiting Agent-Based and Stochastic Simulations | 1-gen-2021 | Beccuti, M.; Castagno, P.; Franceschinis, G.; Pennisi, M.; Pernice, S. | |
Practical Random Access to SLP-Compressed Texts | 1-gen-2020 | Gagie, T.; I, T.; Manzini, G.; Navarro, G.; Sakamoto, H.; Seelbach Benkner, L.; Takabatake, Y. | |
Reasoning about exceptions in ontologies: an approximation of the multipreference semantics | 1-gen-2019 | Giordano, Laura; Gliozzi, Valentina | |
Rpair: Rescaling RePair with Rsync | 1-gen-2019 | Gagie, T.; I, T.; Manzini, G.; Navarro, G.; Sakamoto, H.; Takabatake, Y. | |
Space-Efficient Merging of Succinct de Bruijn Graphs | 1-gen-2019 | Egidi, L.; Louza, F. A.; Manzini, G. | |
Supporting Physicians and Patients Through Recommendation: Guidelines and Beyond | 1-gen-2015 | Anselma, Luca; Bottrighi, Alessio; Hommersom, Arjen; Terenziani, Paolo; Hunter, Anthony | |
Temporal Reasoning with Layered Preferences | 1-gen-2018 | Anselma, Luca; Alessandro, Mazzei; Piovesan, Luca; Terenziani, Paolo | |
Verifying Business Process Compliance by Reasoning about Actions | 1-gen-2010 | D'Aprile, D.; Giordano, Laura; Gliozzi, V.; Martelli, A.; Pozzato, G. L.; THESEIDER DUPRE', Daniele | |
Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model | 1-gen-2021 | Giordano, L.; Theseider Dupre', D. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile